Sur les traces d’un « sujet en devenir »

Balade en Analyse non standard sur les traces de A. Robinson

En 1961 A. Robinson ([15]) introduit l’Analyse non standard et répond ainsi positivement à la question : comment développer de façon cohérente la notion de quantité infinitésimale introduite par G.W. Leibniz aux environs de 1690 et comment développer l’Analyse sur cette base ? La constructrion de A. Robinson et les adaptations qu’on en fit par la suite utilisent des procédés de Logique Mathémat...

Cohérences basées sur les valeurs en échec

In constraint satisfaction, basic inferences rely on some properties of constraint networks, called consistencies, that allow the identification of inconsistent instantiations or nogoods. Two main families of consistencies have been introduced so far : those that permit to reason from variables such as (i, j)-consistency and those that permit to reason from constraints such as relational (i, j)...

Sur Le Développement Spectral De La Formule Des Traces D’arthur-selberg Sur Les Corps De Fonctions

Etat actuel de nos connaissance sur les Theilerioses (Gonderioses) et l'aspect de ces maladies en Iran

Sur les maladies contagieuses des Animaux domestiques, observées en Iran de 1930 à 1935 par Louis